Practitioners' views on the use of formal methods: an industrial survey by structured interview
نویسندگان
چکیده
منابع مشابه
Practitioners' views on the use of formal methods: an industrial survey by structured interview
The recognised deficiency in the level of empirical investigation of software engineering methods is particularly acute in the area of formal methods, where reports about their usefulness vary widely. We interviewed several formal methods users about the use of formal methods and their impact on various aspects of software engineering including the effects on the company, its products and its d...
متن کاملPractitioners Views on Web Development: An Industrial Survey by Semi-Structured Interviews
Several companies with experience in web development were interviewed about aspects of software engineering (SE) when developing Web applications. A semi-structured questionnaire was used to investigate their development processes, quality assurance (including metrics used) and tool support. The interviews are a first stage of empirical assessment. Among research observations identified are the...
متن کاملIndustrial Use of Formal Methods
Fault isolation in object-oriented control systems: This project, which is still ongoing, is carried out in cooperation with the Division of automatic control, LiU, and ABB Robotics AB. The starting point is a large, configurable robot control software marketed by ABB Robotics. System failures result in propagating error messages, which are hard to analyze for operators without knowledge about ...
متن کاملsurvey on the rule of the due & hindering relying on the sheikh ansaris ideas
قاعده مقتضی و مانع در متون فقهی کم و بیش مستند احکام قرار گرفته و مورد مناقشه فقهاء و اصولیین می باشد و مشهور معتقند مقتضی و مانع، قاعده نیست بلکه یکی از مسائل ذیل استصحاب است لذا نگارنده بر آن شد تا پیرامون این قاعده پژوهش جامعی انجام دهد. به عقیده ما مقتضی دارای حیثیت مستقلی است و هر گاه می گوییم مقتضی احراز شد یعنی با ماهیت مستقل خودش محرز گشته و قطعا اقتضاء خود را خواهد داشت مانند نکاح که ...
15 صفحه اولThe use of industrial-strength formal methods
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still be considered a niche market, there is growing evidence that they can be used successfully in industry if applied judiciously. This paper discusses some of the issues concerning the successful application of formal methods and surveys a number of examples of industrial usag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Software Technology
سال: 2001
ISSN: 0950-5849
DOI: 10.1016/s0950-5849(00)00166-x